Abstract correction of first-order functional programs
نویسندگان
چکیده
Correction of First-Order Functional Programs M. Alpuente a D. Ballis b S. Escobar a M. Falaschi b S. Lucas a a DSIC, Universidad Politécnica de Valencia, Camino de Vera s/n, Apdo. 22012, 46071 Valencia, Spain. Email: {alpuente,sescobar,slucas}@dsic.upv.es. b Dip. Matematica e Informatica, Via delle Scienze 206, 33100 Udine, Italy. Email: {demis,falaschi}@dimi.uniud.it.
منابع مشابه
Abstract Diagnosis of First Order Functional Logic Programs
Diagnosis of First Order Functional
متن کاملLinear Time Hierarchies for a Functional Language Machine Model
In STOC 93, Jones sketched the existence of a hierarchy within problems decidable in linear time by a first-order functional language based on tree-structured data (F), as well as for an extension of that language based on graph-structured data (F). We consider the Categorical Abstract Machine (CAM), a canonical machine model for implementing higher order functional languages. We show the exist...
متن کاملRelational Abstract Interpretation of Higher Order Functional Programs (extended abstract)
Most applications of the abstract interpretation framework[2] have been for analyzing functional programs use functions on abstract values to approximate functions, thus assuming that functions may be called at all arguments. When the abstract domain is finite, this approach can easily be generalized to higher order functional languages as shown for example by [1]. In practice this leads to com...
متن کاملFunctional Programming with Logical Frameworks
Functional Programming with Logical Frameworks Adam Brett Poswolsky 2008 Logical frameworks are languages used to represent information. In this dissertation we present the Delphin programming language, which is a functional programming language with a logical framework supporting both higher-order abstract syntax and dependent types. Higher-order abstract syntax, or HOAS, refers to the techniq...
متن کاملA Higher-Order Abstract Syntax Approach to the Verified Compilation of Functional Programs
This thesis concerns the verified compilation of functional programming languages. Functional programming languages, or functional languages for short, provide a high degree of abstraction in programming and their mathematical foundation makes programs written in them easy to analyze and to be proved correct. Because of these features, functional languages are playing an increasingly important ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Electr. Notes Theor. Comput. Sci.
دوره 86 شماره
صفحات -
تاریخ انتشار 2003